void init_prim16int();
general_registers do_16int(int number, general_registers input);

extern void execute_interrupt_0(); extern void execute_interrupt_0_end();
extern void execute_interrupt_1(); extern void execute_interrupt_1_end();
extern void execute_interrupt_2(); extern void execute_interrupt_2_end();
extern void execute_interrupt_3(); extern void execute_interrupt_3_end();
extern void execute_interrupt_4(); extern void execute_interrupt_4_end();
extern void execute_interrupt_5(); extern void execute_interrupt_5_end();
extern void execute_interrupt_6(); extern void execute_interrupt_6_end();
extern void execute_interrupt_7(); extern void execute_interrupt_7_end();
extern void execute_interrupt_8(); extern void execute_interrupt_8_end();
extern void execute_interrupt_9(); extern void execute_interrupt_9_end();
extern void execute_interrupt_10(); extern void execute_interrupt_10_end();
extern void execute_interrupt_11(); extern void execute_interrupt_11_end();
extern void execute_interrupt_12(); extern void execute_interrupt_12_end();
extern void execute_interrupt_13(); extern void execute_interrupt_13_end();
extern void execute_interrupt_14(); extern void execute_interrupt_14_end();
extern void execute_interrupt_15(); extern void execute_interrupt_15_end();
extern void execute_interrupt_16(); extern void execute_interrupt_16_end();
extern void execute_interrupt_17(); extern void execute_interrupt_17_end();
extern void execute_interrupt_18(); extern void execute_interrupt_18_end();
extern void execute_interrupt_19(); extern void execute_interrupt_19_end();
extern void execute_interrupt_20(); extern void execute_interrupt_20_end();
extern void execute_interrupt_21(); extern void execute_interrupt_21_end();
extern void execute_interrupt_22(); extern void execute_interrupt_22_end();
extern void execute_interrupt_23(); extern void execute_interrupt_23_end();
extern void execute_interrupt_24(); extern void execute_interrupt_24_end();
extern void execute_interrupt_25(); extern void execute_interrupt_25_end();
extern void execute_interrupt_26(); extern void execute_interrupt_26_end();
extern void execute_interrupt_27(); extern void execute_interrupt_27_end();
extern void execute_interrupt_28(); extern void execute_interrupt_28_end();
extern void execute_interrupt_29(); extern void execute_interrupt_29_end();
extern void execute_interrupt_30(); extern void execute_interrupt_30_end();
extern void execute_interrupt_31(); extern void execute_interrupt_31_end();

static int_routine_desc int_routines[32] = {
    {execute_interrupt_0, execute_interrupt_0_end, 0},
    {execute_interrupt_1, execute_interrupt_1_end, 0},
    {execute_interrupt_2, execute_interrupt_2_end, 0},
    {execute_interrupt_3, execute_interrupt_3_end, 0},
    {execute_interrupt_4, execute_interrupt_4_end, 0},
    {execute_interrupt_5, execute_interrupt_5_end, 0},
    {execute_interrupt_6, execute_interrupt_6_end, 0},
    {execute_interrupt_7, execute_interrupt_7_end, 0},
    {execute_interrupt_8, execute_interrupt_8_end, 0},
    {execute_interrupt_9, execute_interrupt_9_end, 0},
    {execute_interrupt_10, execute_interrupt_10_end, 0},
    {execute_interrupt_11, execute_interrupt_11_end, 0},
    {execute_interrupt_12, execute_interrupt_12_end, 0},
    {execute_interrupt_13, execute_interrupt_13_end, 0},
    {execute_interrupt_14, execute_interrupt_14_end, 0},
    {execute_interrupt_15, execute_interrupt_15_end, 0},
    {execute_interrupt_16, execute_interrupt_16_end, 0},
    {execute_interrupt_17, execute_interrupt_17_end, 0},
    {execute_interrupt_18, execute_interrupt_18_end, 0},
    {execute_interrupt_19, execute_interrupt_19_end, 0},
    {execute_interrupt_20, execute_interrupt_20_end, 0},
    {execute_interrupt_21, execute_interrupt_21_end, 0},
    {execute_interrupt_22, execute_interrupt_22_end, 0},
    {execute_interrupt_23, execute_interrupt_23_end, 0},
    {execute_interrupt_24, execute_interrupt_24_end, 0},
    {execute_interrupt_25, execute_interrupt_25_end, 0},
    {execute_interrupt_26, execute_interrupt_26_end, 0},
    {execute_interrupt_27, execute_interrupt_27_end, 0},
    {execute_interrupt_28, execute_interrupt_28_end, 0},
    {execute_interrupt_29, execute_interrupt_29_end, 0},
    {execute_interrupt_30, execute_interrupt_30_end, 0},
    {execute_interrupt_31, execute_interrupt_31_end, 0}
};
